home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
ftp.cs.arizona.edu
/
ftp.cs.arizona.edu.tar
/
ftp.cs.arizona.edu
/
sr
/
info-sr.1998
/
000007_owner-info-sr _Tue May 26 03:46:14 1998.msg
< prev
next >
Wrap
Internet Message Format
|
1999-01-04
|
3KB
Return-Path: <owner-info-sr@cheltenham.cs.arizona.edu>
Received: from optima.cs.arizona.edu (optima.CS.Arizona.EDU [192.12.69.5])
by cheltenham.cs.arizona.edu (8.8.7/8.8.7) with ESMTP id DAA24936
for <info-sr@cheltenham.cs.arizona.edu>; Tue, 26 May 1998 03:46:14 -0700 (MST)
Received: from tamdhu.dcs.st-andrews.ac.uk (tamdhu.dcs.st-and.ac.uk [138.251.192.40])
by optima.cs.arizona.edu (8.9.0.Beta5/8.9.0.Beta5) with SMTP id DAA00410
for <info-sr@cs.arizona.edu>; Tue, 26 May 1998 03:46:05 -0700 (MST)
Received: by tamdhu.dcs.st-andrews.ac.uk (4.1/SMI-4.1)
id AA20615; Tue, 26 May 98 11:44:23 BST
Date: Tue, 26 May 98 11:44:23 BST
From: colin@dcs.st-and.ac.uk (Colin Allison)
Message-Id: <9805261044.AA20615@tamdhu.dcs.st-andrews.ac.uk>
To: jperez@lsi.us.es
Subject: Re: Help!
Cc: info-sr@cs.arizona.edu
Jose,
You're trying to service an op declared in one resource
in another resource - this is not part of the resource concept.
You can invoke remote ops, but not service them.
Colin Allison
St Andrews
> From info-sr-sender@cheltenham.cs.arizona.edu Tue May 26 10:50:35 1998
> Sender: jperez@lsi.us.es
> Date: Tue, 26 May 1998 11:46:13 +0200
> From: "Jose A. Perez Castellanos" <jperez@lsi.us.es>
> Organization: Departamento de Lenguajes y Sistemas Informaticos
> X-Mailer: Mozilla 3.0 (X11; I; SunOS 5.4 sun4d)
> Mime-Version: 1.0
> To: info-sr@cs.arizona.edu
> Subject: Help!
> Content-Type> : > text/plain> ; > charset=us-ascii>
> Content-Transfer-Encoding: 7bit
> Content-Length: 1395
>
> Hello netters,
>
> I've recently got in trouble with this program:
>
> -----------------------------------------------------------
> resource A
>
> op message1() {send}
> op message2() {send}
>
> body A()
>
> end A
>
> resource R1
>
> import A
>
> op Body (cap_m : cap A) {send}
>
> body R1( )
>
> proc Body (cap_m)
> in
> cap_m.message1() -> printf("Message1\n")
> []
> cap_m.message2() -> printf("Message2\n")
> ni
> end
>
> end R1
>
> [Other stuff removed]
>
> -----------------------------------------------------------
>
> My SR compiler stops compilation showing the following error
> message:
>
> "mensaje.sr", line 34: fatal: illegal context for non-local capability
> "mensaje.sr", line 36: fatal: illegal context for non-local capability
>
> Could someone, please, tell me what I'm doing wrong? Thanks in
> advance.
> --
> ******************************************
> * Jose Antonio Perez Castellanos *
> * Dep. Lenguajes y Sistemas Informaticos *
> * Universidad de Sevilla - SPAIN *
> * jperez@lsi.us.es *
> * -------------------------------------- *
> * The Gods Made Heavy Metal... *
> ******************************************
>